Informace o předmětu Matematická logika jsou na stránkách doc. Marie Duží http://www.cs.vsb.cz/duzi/Mat-logika.html
Dodatečná zadání k Prologu - doporučuji vyřešit
Dodatečná zadání k Přirozené dedukci - budou postupně rozšířena
Zadání na cvičení cv1.pdf cv2.pdf cv3.pdf cv4.pdf cv5.pdf cv6.pdf cv7.pdf cv8.pdf cv9.pdf cv10.pdf